Simple Direct Proof Example